Identification of mouse gaits using a novel force-sensing exercise wheel

The gaits that animals use can provide information on neurological and musculoskeletal disorders, as well as the biomechanics of locomotion. Mice are a common research model in many fields; however, there is no consensus in the literature on how (and if) mouse gaits vary with speed. One of the challenges in studying mouse gaits is that mice tend to run intermittently on treadmills or overground; this paper attempts to overcome this issue with a novel exercise wheel that measures vertical ground reaction forces. Unlike previous instrumented wheels, this wheel is able to measure forces continuously and can therefore record data from consecutive strides. By concatenating the maximum limb force at each time point, a force trace can be constructed to quantify and identify gaits. The wheel was three dimensionally printed, allowing the design to be shared with other researchers. The kinematic parameters measured by the wheel were evaluated using high-speed video. Gaits were classified using a metric called “3S” (stride signal symmetry), which quantifies the half wave symmetry of the force trace peaks. Although mice are capable of using both symmetric and asymmetric gaits throughout their speed range, the continuum of gaits can be divided into regions based on the frequency of symmetric and asymmetric gaits; these divisions are further supported by the fact that mice run less frequently at speeds near the boundaries between regions. The boundary speeds correspond to gait transition speeds predicted by the hypothesis that mice move in a dynamically similar fashion to other legged animals

Development and evaluation of a fault-tolerant multiprocessor (FTMP) computer. Volume 1: FTMP principles of operation

The basic organization of the fault tolerant multiprocessor, (FTMP) is that of a general purpose homogeneous multiprocessor. Three processors operate on a shared system (memory and I/O) bus. Replication and tight synchronization of all elements and hardware voting is employed to detect and correct any single fault. Reconfiguration is then employed to repair a fault. Multiple faults may be tolerated as a sequence of single faults with repair between fault occurrences

Development and evaluation of a fault-tolerant multiprocessor (FTMP) computer. Volume 4: FTMP executive summary

The FTMP architecture is a high reliability computer concept modeled after a homogeneous multiprocessor architecture. Elements of the FTMP are operated in tight synchronism with one another and hardware fault-detection and fault-masking is provided which is transparent to the software. Operating system design and user software design is thus greatly simplified. Performance of the FTMP is also comparable to that of a simplex equivalent due to the efficiency of fault handling hardware. The FTMP project constructed an engineering module of the FTMP, programmed the machine and extensively tested the architecture through fault injection and other stress testing. This testing confirmed the soundness of the FTMP concepts

Development and evaluation of a Fault-Tolerant Multiprocessor (FTMP) computer. Volume 2: FTMP software

The software developed for the Fault-Tolerant Multiprocessor (FTMP) is described. The FTMP executive is a timer-interrupt driven dispatcher that schedules iterative tasks which run at 3.125, 12.5, and 25 Hz. Major tasks which run under the executive include system configuration control, flight control, and display. The flight control task includes autopilot and autoland functions for a jet transport aircraft. System Displays include status displays of all hardware elements (processors, memories, I/O ports, buses), failure log displays showing transient and hard faults, and an autopilot display. All software is in a higher order language (AED, an ALGOL derivative). The executive is a fully distributed general purpose executive which automatically balances the load among available processor triads. Provisions for graceful performance degradation under processing overload are an integral part of the scheduling algorithms

A multiprocessor implementation of a contextual image processing algorithm

There are no author-identified significant results in this report

Development and implementation of the verification process for the shuttle avionics system

The background of the shuttle avionics system design and the unique drivers associated with the redundant digital multiplexed data processing system are examined. With flight software pervading to the lowest elements of the flight critical subsystems, it was necessary to identify a unique and orderly approach of verifying the system as flight ready for STS-1. The approach and implementation plan is discussed, and both technical problems and management issues are dealt with

Some Properties of Amplitudes at Multi Boson Thresholds in Spontaneously Broken Scalar Theory

It is shown that in a $\lambda \phi^4$ theory of one real scalar field with spontaneous breaking of symmetry a calculation of the amplitudes of production by a virtual field $\phi$ of $n$ on-mass-shell bosons all being exactly at rest is equivalent in any order of the loop expansion to a Euclidean space calculation of the mean field of a kink-type configuration. Using this equivalence it is found that all the $1 \to n$ amplitudes have no absorptive part at the thresholds to any order of perturbation theory. This implies non-trivial relations between multi-boson threshold production amplitudes. In particular the on-mass-shell amplitude of the process $2 \to 3$ should vanish at the threshold in all loops. It is also shown that the factor $n!$ in the $1 \to n$ amplitudes at the threshold is not eliminated by loop effects.Comment: 11 pages including 3 figures, LaTeX, TPI-MINN-92/61-